Accelerating program analyses by cross-program training

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Semantical Analyses Dependence Analyses Program

Pips is an experimental tool to implement and evaluate various inter-procedural compilation, parallelization, analysis and optimization techniques. This paper focuses on the workbench used to build these compilers. It includes the management of data structures, of dependences between the various analysis and transformation phases, and the mathematical libraries used to implement some of the mos...

متن کامل

Implementation of a Cross-specialty Training Program in Basic Laparoscopy

BACKGROUND AND OBJECTIVES Several surgical specialties use laparoscopy and share many of the same techniques and challenges, such as entry approaches, equipment, and complications. However, most basic training programs focus on a single specialty. The objective of this study was to describe the implementation of a regional cross-specialty training program for basic laparoscopy, to increase the ...

متن کامل

Cs Training Program

ABSTRACf This study is concerned with detailed expansions for the renewal function H(t) and various of its generalizations. Our assumptions concerning the growth rate of the tail of the underlying lifetime distribution F(x) are of the form f: x\lM(x)dF(x) < co, where \I ~ 0 and M(x) belongs to an appropriate class of monotone functions. l~en F(x) has a finite variance, it is shown that (for t >...

متن کامل

Postgraduate training program.

BACKGROUND Faculties face the permanent challenge to design training programs with well-balanced educational outcomes, and to offer various organised and individual learning opportunities. AIM To apply our original model to a postgraduate training program in rheumatology in general, and to various learning experiences in particular, in order to analyse the balance between different educationa...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ACM SIGPLAN Notices

سال: 2016

ISSN: 0362-1340,1558-1160

DOI: 10.1145/3022671.2984023